Programming languages

Results: 18154



#Item
11Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002

Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002

Add to Reading List

Source URL: xavierleroy.org

Language: English - Date: 2018-08-01 14:49:25
    12Published in ASPLOS XIII: Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems, March 2008 The Design and Implementation of Microdrivers Vinod Ga

    Published in ASPLOS XIII: Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems, March 2008 The Design and Implementation of Microdrivers Vinod Ga

    Add to Reading List

    Source URL: pages.cs.wisc.edu

    Language: English - Date: 2015-07-23 11:03:47
      13ACOPAL Analyse et Compilation des langages de programmation parallèles Analysis and Compilation of Parallel Programming Languages Abstract Parallel programming is increasingly important for embedded systems as well as s

      ACOPAL Analyse et Compilation des langages de programmation parallèles Analysis and Compilation of Parallel Programming Languages Abstract Parallel programming is increasingly important for embedded systems as well as s

      Add to Reading List

      Source URL: www.cri.mines-paristech.fr

      Language: English - Date: 2015-03-30 04:19:54
        14Swift: Compiled Inference for Probabilistic Programming Languages arXiv:submitcs.AI] 4 Jun 2016 Yi Wu UC Berkeley

        Swift: Compiled Inference for Probabilistic Programming Languages arXiv:submitcs.AI] 4 Jun 2016 Yi Wu UC Berkeley

        Add to Reading List

        Source URL: lab.toutiao.com

        Language: English - Date: 2017-03-12 23:23:19
          15c ACMThis is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for re distribution. The definitive version was published in Principles of Programming Languages

          c ACMThis is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for re distribution. The definitive version was published in Principles of Programming Languages

          Add to Reading List

          Source URL: jochen-hoenicke.de

          Language: English - Date: 2015-11-28 09:08:22
            16PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science LATTICES! PROGRAM ANALYSIS

            PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science LATTICES! PROGRAM ANALYSIS

            Add to Reading List

            Source URL: homepages.dcc.ufmg.br

            Language: English - Date: 2017-05-16 13:24:05
              17On Programming Languages for Probabilistic Modeling a dissertation presented by Daniel E. Huang

              On Programming Languages for Probabilistic Modeling a dissertation presented by Daniel E. Huang

              Add to Reading List

              Source URL: danehuang.github.io

              Language: English - Date: 2017-05-24 19:52:40
                18Universidade
Federal
de
Minas
Gerais
–
Department
of
Computer
Science
–
Programming
Languages
Laboratory
 WRITING
AN
LLVM
PASS
 DCC
888


                Universidade
Federal
de
Minas
Gerais
–
Department
of
Computer
Science
–
Programming
Languages
Laboratory
 WRITING
AN
LLVM
PASS
 DCC
888


                Add to Reading List

                Source URL: homepages.dcc.ufmg.br

                Language: English - Date: 2014-10-21 02:26:17
                  19PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science OPERATIONAL SEMANTICS! PROGRAM ANALYSIS

                  PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science OPERATIONAL SEMANTICS! PROGRAM ANALYSIS

                  Add to Reading List

                  Source URL: homepages.dcc.ufmg.br

                  Language: English - Date: 2017-05-15 15:58:01
                    20Ethos’ Distributed Types W. Michael Petullo∗ Wenyuan Fei∗ Pat Gavlin† Jon A. Solworth∗ ∗ University of Illinois at Chicago † Microsoft Abstract Programming languages have long incorporated type

                    Ethos’ Distributed Types W. Michael Petullo∗ Wenyuan Fei∗ Pat Gavlin† Jon A. Solworth∗ ∗ University of Illinois at Chicago † Microsoft Abstract Programming languages have long incorporated type

                    Add to Reading List

                    Source URL: www.ethos-os.org

                    Language: English - Date: 2017-04-30 19:19:46